Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
if 'rtc_timeoffset' not in self['platform']:
self['platform']['rtc_timeoffset'] = 0
if 'hpet' not in self['platform']:
- self['platform']['hpet'] = 0
+ self['platform']['hpet'] = 1
if 'xen_platform_pci' not in self['platform']:
self['platform']['xen_platform_pci'] = 1
if 'vpt_align' not in self['platform']:
use="Disable or enable PAE of HVM domain.")
gopts.var('hpet', val='HPET',
- fn=set_int, default=0,
+ fn=set_int, default=1,
use="Enable virtual high-precision event timer.")
gopts.var('timer_mode', val='TIMER_MODE',